Lubin-Tate formal group

卢宾-泰特形式 群